A Formal Semantics for Multiple Vehicle Task and Motion Planning
نویسندگان
چکیده
The application of autonomous guided vehicles to well-structured industrial sites requires considerably more than a path planning algorithm onboard each vehicle. Issues such as task planning, vehicle routing and vehicle-vehicle interactions predominate in determining the overall system ability. We exhibit a mathematical model of a multiple vehicle system, which has similarities to the Timed Traces models developed to reason about parallel processes. A denotational semantics is derived from this model, ascribing meaning to a simple language of service operations and concurrent path planning. This semantics captures a complete description of vehicles' behaviour, which can provide a global planning strategy guaranteeing both satissability and liveness.
منابع مشابه
Integrating Vehicle Routing and Motion Planning
There has been much interest recently in problems that combine high-level task planning with low-level motion planning. In this paper, we present a problem of this kind that arises in multi-vehicle mission planning. It tightly integrates task allocation and scheduling, who will do what when, with path planning, how each task will actually be performed. It extends classical vehicle routing in th...
متن کاملA mixed integer linear programming formulation for a multi-stage, multi-Product, multi-vehicle aggregate production-distribution planning problem
In today’s competitive market place, companies seek an efficient structure of supply chain so as to provide customers with highest value and achieve competitive advantage. This requires a broader perspective than just the borders of an individual company during a supply chain. This paper investigates an aggregate production planning problem integrated with distribution issues in a supply chain ...
متن کاملOptimal Trajectory Planning of a Box Transporter Mobile Robot
This paper aims to discuss the requirements of safe and smooth trajectory planning of transporter mobile robots to perform non-prehensile object manipulation task. In non-prehensile approach, the robot and the object must keep their grasp-less contact during manipulation task. To this end, dynamic grasp concept is employed for a box manipulation task and corresponding conditions are obtained an...
متن کاملTask Scheduling and Trajectory Generation of Multiple Intelligent Vehicles
The problem of multi-vehicle path planning can be treated as a machine scheduling or a vehicle routing problem with definite temporal, spatial and other constraints. We consider the scenario of path planning of multiple Automated Guided Vehicles (AGVs) and Automated Trucks (ATs) in a Ship-Container Terminal area*. Our main focus is on developing global and local path planning methods for each o...
متن کاملMotion Generation in the MRROC++ Robot Programming Framework
The paper presents a formal approach to robot motion specification. This motion specification takes into account three elementary behaviors that suffice to define any robot interaction with the environment, i.e.: free motion, exerting generalized forces and transition between both of those behaviors. Those behaviors provide a foundation for general motion generation taking into account any sens...
متن کامل